Nuprl Definition : union-codes
11,40
postcript
pdf
[
S
?
codes1
:
codes2
](
j
,
i
,
e
,
st
)
== if
p
:
S
(
j
,
i
,
e
) then
codes1
(
j
,
i
,
e
,
st
) else
codes2
(
j
,
i
,
e
,
st
) fi
latex
clarification:
union-codes(
S
;
dec_S
;
codes1
;
codes2
)(
j
,
i
,
e
,
st
)
== branch(
S
(
j
,
i
,
e
);
dec_S
(
j
,
i
,
e
);
p
.
codes1
(
j
,
i
,
e
,
st
);
codes2
(
j
,
i
,
e
,
st
))
latex
Definitions
x
.
A
(
x
)
,
if
p
:
P
then
A
(
p
) else
B
fi
,
f
(
a
)
FDL editor aliases
union-codes
origin
x.A(x)x.A(x)